大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Generalized Recursion Theory 的图书(共8282本)

Developments in Language Theory [electronic resource] : 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005. Proceedings

0
索取号：
作者：Felice、 Clelia.、Restivo、 Antonio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Theory and Applications of Satisfiability Testing [electronic resource] : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings

0
索取号：
作者：Bacchus、 Fahiem.、Walsh、 Toby.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advanced Distributed Systems [electronic resource] : 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers

0
索取号：
作者：Ramos、 F茅lix F.、Larios Rosillo、 Victor.、Unger、 Herwig.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Graph Drawing [electronic resource] : 13th International Symposium, GD 2005, Limerick, Ireland, September 12-14, 2005. Revised Papers

0
索取号：
作者：Healy、 Patrick.、Nikolov、 Nikola S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Biological and Medical Data Analysis [electronic resource] : 6th International Symposium, ISBMDA 2005, Aveiro, Portugal, November 10-11, 2005. Proceedings

0
索取号：
作者：Oliveira、 Jos茅 Lu铆s.、Maojo、 V铆ctor.、Mart铆n-S谩nchez、 Fernando.、Pereira、 Ant贸nio Sousa.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Topics in Hyposonic Flow Theory [electronic resource]

0
索取号：
作者：Zeytounian、 Radyadour.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Control of Redundant Robot Manipulators [electronic resource] : Theory and Experiments

0
索取号：
作者：Patel、 R. V.、Shadpey、 F.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Theory and Applications of Satisfiability Testing [electronic resource] : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

0
索取号：
作者：Hoos、 Holger H.、Mitchell、 David G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

New Directions and Applications in Control Theory [electronic resource]

0
索取号：
作者：Dayawansa、 Wijesuriya.、Lindquist、 Anders.、Zhou、 Yishao.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Combinatorial Pattern Matching [electronic resource] : 16th Annual Symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005. Proceedings

0
索取号：
作者：Apostolico、 Alberto.、Crochemore、 Maxime.、Park、 Kunsoo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Applications and Theory of Petri Nets 2005 [electronic resource] : 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings

0
索取号：
作者：Ciardo、 Gianfranco.、Darondeau、 Philippe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Hypoelliptic Estimates and Spectral Theory for Fokker-Planck Operators and Witten Laplacians [electronic resource]

0
索取号：
作者：Helffer、 Bernard.、Nier、 Francis.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Hamiltonian Dynamics. Theory and Applications [electronic resource] : Lectures given at the C.I.M.E.-E.M.S. Summer School held in Cetraro, Italy, July 1-10, 1999

0
索取号：
作者：Benettin、 Giancarlo.、Henrard、 Jacques.、Kuksin、 Sergei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Lectures on Probability Theory and Statistics [electronic resource] : Ecole d'Et茅 de Probabilit茅s de Saint-Flour XXXIII - 2003

0
索取号：
作者：Picard、 Jean.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Quantum Field Theory and Noncommutative Geometry [electronic resource]

0
索取号：
作者：Carow-Watamura、 Ursula.、Maeda、 Yoshiaki.、Watamura、 Satoshi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Geometric and Topological Methods for Quantum Field Theory [electronic resource]

0
索取号：
作者：Ocampo、 Hern谩n.、Paycha、 Sylvie.、Vargas、 Andr茅s.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.